Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...

Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becom...

In order to develop a Supercomputing Cloud Platform (SCP) prototype system using Service-Oriented Architecture (SOA) and Petri nets, we researched some technologies for Web service composition. Specifically, in this paper, we propose a reliability calculation method for Web service compositions, which uses Fuzzy Reasoning Colored Petri Net (FRCPN) to verify the Web service compositions. We put ...

Web service composition is an error prone task. Based on CP-nets (colored petri net) models, an approach of test case generation is proposed for web service compositions coded in BPEL. In this approach the semantic of BPEL concurrence and some special features are well dealt. Firstly, BPEL processes of a web service composition is translated into CP-nets models, then depth-first traversal works...

Web service composition is an important reuse way of service resources, through which large scale and complex applications based on Internet can get the newer and more reliable resources among the distributed nodes. An important challenge for web services composition is how to ensure the correctness and reliability of the composition process. CPN(Colored Petri Net)as a formal modeling and verif...

The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...

The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...

Web services are emerging as a major technology for deploying automated interactions between distributed and heterogeneous applications. It aims at the transparent integration of Web applications, based on XML-related standards (F.Curbera et al., 2002). Until now, many research efforts have been made in the field of Web services composition. Moreover, many composition languages have recently em...

Web service composition is a distributed model to construct new web service on top of existing primitive or other composite web services. Many research efforts have been made in web services composition and coordination. In such a scenario, an important issue is how to assess the degree of trustworthiness one can have about the web service composition, especially their performance and dependabi...